Search results for "Special classes of semigroups"

showing 4 items of 4 documents

Hybrid bases for varieties of semigroups

2003

We consider the lower part of the lattice of varieties of semigroups. We present finite bases of hybrid identities for the varieties of normal bands, commutative bands and abelian groups of finite exponent. The variety A n,0 of abelian groups provides an example of a variety which has no finite base of hyperidentities (cf. [12]) but has a finite base of hybrid identities.

Discrete mathematicsPure mathematicsAlgebra and Number TheoryLattice (order)ExponentSpecial classes of semigroupsElementary abelian groupAbelian groupCommutative propertyMathematicsArithmetic of abelian varietiesAlgebra Universalis
researchProduct

2003

In this article we apply the S(M, g)–calculus of L. Hormander and, in particular, results concerning the spectral invariance of the algebra of operators of order zero in ℒ(L2(ℝn)) to study generators of Feller semigroups. The core of the article is the proof of the invertibility of λ Id + P for a strongly elliptic operator P in Ψ(M, g) and suitable weight functions M and metrics g. The proof depends highly on precise estimates of the remainder term in asymptotic expansions of the product symbol in Weyl and Kohn–Nirenberg quantization. Due to the Hille–Yosida–Ray theorem and a theorem of Courrege, the result concerning the invertibility of λ Id + P is applicable to obtain sufficient conditio…

Sobolev spaceDiscrete mathematicsElliptic operatorOperator (computer programming)SemigroupGeneral MathematicsProduct (mathematics)CalculusSpecial classes of semigroupsRemainderTerm (logic)MathematicsMathematische Nachrichten
researchProduct

Incomparable Banach spaces and operator semigroups

2002

Using the notions of total incomparability and total coincomparability of Banach spaces, we define two families of operator semigroups. We show that these semigroups are minimal, in the sense that they admit a perturbative characterization. Moreover, they allow us to characterize the corresponding incomparability classes.

Discrete mathematicsPure mathematicsOperator (computer programming)Approximation propertyGeneral MathematicsBanach spaceSpecial classes of semigroupsBanach manifoldFinite-rank operatorCharacterization (mathematics)C0-semigroupMathematicsArchiv der Mathematik
researchProduct

Representation of Autonomous Automata

2001

An autonomous automaton is a finite automaton with output in which the input alphabet has cardinality one when special reduced. We define the transition from automata to semigroups via a representation successful if given two incomparable automata (neither simulate the other), the semigroups representing the automata are distinct. We show that representation by the transition semigroup is not successful. We then consider a representation of automata by semigroups of partial transformations. We show that in general transition from automata to semigroups by this representation is not successful either. In fact, the only successful transition presented is the transiton to this semigroup of par…

Krohn–Rhodes theoryDiscrete mathematicsNested wordFinite-state machineMathematics::Operator AlgebrasComputer scienceSemigroupTimed automatonω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesMobile automatonAutomatonNondeterministic finite automaton with ε-movesStochastic cellular automatonDeterministic finite automatonDFA minimizationDeterministic automatonContinuous spatial automatonSpecial classes of semigroupsQuantum finite automataAutomata theoryTwo-way deterministic finite automatonNondeterministic finite automatonComputer Science::Formal Languages and Automata Theory
researchProduct